The Simple Provisional Language for Actions and Tasks provides both a language for specifying control laws and a runtime environment for executing and monitoring them. Based on RScheme. SPLAT is Free Software licensed under the GNU GPL.

Professor and Chairman, Department of Computer Sciences, The University of Texas at Austin. Research interests include the representation of commonsense and expert knowledge, with an emphasis on the effective use of incomplete knowledge. Recent accomp...

A collection of downloadable packages including: KM - The Knowledge Machine, Guiding Inductive Learning with a Qualitative Model, LPE - Lazy Partial Evaluation, and CN2 - Rule induction from examples. [GPL]

Research on General Inductive Learning, Inductive Logic Programming, Natural Language Learning, Qualitative Modeling and Diagnosis, Learning for Planning and Problem Solving. Recommender Systems and Text Categorization Student Modeling for Intelligent...

FTP repository of common list algorithms and datasets for research. [GPL]

University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.

A system to modify an incomplete or incorrect rule base to make it consistent with a set of input training examples. Written in C++ [Free]

The future of software development lies in automating rote tasks. We are exploring different ways in which software development can be automated, productivity increased, and software quality improved.

PSP stands for Programs, Specifications and Proofs. The emphasis of the work of our group is to derive parallel and distributed programs in a rigorous manner.

Qualitative Reasoning Research at UTexas which has one of the premier QP research centers